Nuprl Lemma : band_ff_simp 13,42
u:. (u  ff) = ff   
latex

Upbool 1, bool 1
Definitionst  T
Lemmasbool wf, bfalse wf

origin